421. Representation and productive ambiguity in mathematics and the sciences
پدیدآورنده : Grosholz, Emily R.
کتابخانه: (طهران)
موضوع : Philosophy ، Mathematics,، Ambiguity in science,، Knowledge, Theory of,Philosophy ، Science
رده :
QA
9
.
G76
R47
2007
422. Rethinking German Idealism
پدیدآورنده : edited by S.J. McGrath, Joseph Care
کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع : Idealism, German,Philosophy,Knowledge, Theory of,Logic,Metaphysics,Electronic books
رده :
EBOOK
,
B
R4
2745
423. Rethinking German Idealism /
پدیدآورنده : edited by S.J. McGrath, Joseph Carew
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Idealism, German.,Knowledge, Theory of.,Logic.,Metaphysics.,Philosophy.
رده :
B2745
424. Rohit Parikh on Logic, Language and Society
پدیدآورنده : edited by Can Baskent, Lawrence S. Moss, Ramaswamy Ramanujam
کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع : Philosophy,Logic,Mathematical logic,Semantics,Philosophy,Logic,Mathematical Logic and Formal Languages,Mathematical Logic and Foundations,Semantics
رده :
EBOOK
,
BC
R6
140
425. Rough Sets :
پدیدآورنده : by Zdzisław Pawlak.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
رده :
Q335
.
B993
1991
426. [Rough sets and current trends in computing] [4th international conference ; proceedings]
پدیدآورنده : [RSCTC 2004, Uppsala, Sweden, June 1-5, 2004. Shusaku Tsumoto ... (ed.)].
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Computer vision.
427. Russell
پدیدآورنده : \ John Ongley and Rosalind Carey.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Russell, Bertrand, 1872-1970.,راس‍ل، ب‍رت‍ران‍د، ۱۸۷۲ - ۱۹۷۰م.
رده :
B1649
.
R94
O54
2013
428. STACS 92 :
پدیدآورنده : A[lain] Finkel, M[atthias] Jantzen (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : računalništvo -- paralelni algoritmi -- logika -- sementika -- računalniška geometrija -- jeziki -- strukturna kompleksnost -- komunikacije -- distribuirani sistemi -- kompleksnost -- kriptografija -- algoritmi -- VLSI -- sistemi.
429. Scalable uncertainty management :
پدیدآورنده : Weiru Liu, V.S. Subrahmanian, Jef Wijsen (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Uncertainty (Information theory), Congresses
رده :
Q375
.
S86
2013
431. Science, Action, and Reality
پدیدآورنده : by Raimo Tuomela.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Metaphysics.,Philosophy (General),Science -- Philosophy.
رده :
Q175
.
B973
1985
432. Semantic technology :
پدیدآورنده : Ryutaro Ichise, Freddy Lecue, Takahiro Kawamura, Dongyan Zhao, Stephen Muggleton, Kouji Kozaki (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Data mining, Congresses.,Data warehousing, Congresses.,Linked data, Congresses.,Semantic computing, Congresses.,Artificial intelligence.,Computers-- Data Processing.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Speech & Audio Processing.,Computers-- System Administration-- Storage & Retrieval.,Data mining.,Data warehousing.,Information retrieval.,Linked data.,Mathematical theory of computation.,Mathematics-- Logic.,Natural language & machine translation.,Public administration.,Semantic computing.
رده :
QA76
.
5913
433. Spatial and Temporal Reasoning
پدیدآورنده : edited by Oliviero Stock.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Knowledge representation (Information theory),Qualitative reasoning.
رده :
Q339
.
25
E358
1997
434. Spatial information theory :
پدیدآورنده : Thora Tenbrink, John Stell, Antony Galton, Zena Wood (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Geographic information systems, Congresses
رده :
G70
.
212
.
C67
2013
435. Studies in the philosophy of logic and knowledge
پدیدآورنده : British Academy lectures by John McDowell...]et al.[; selected and introduced by T. R. Baldwin and T. J. Smiley
کتابخانه: (طهران)
موضوع : ، Language and logic,، Knowledge, Theory of
رده :
P
39
.
S78
436. Tense Logic /
پدیدآورنده : by Robert P. McArthur.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic.,Philosophy (General),Logic.,Logic.,Philosophy & Religion.,Philosophy.
رده :
BC1-199
437. The Ascent from Nominalism :
پدیدآورنده : by Terry Penner.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Aristotle.,Philosophy (General),Plato.
رده :
B395
.
B984
1987
438. <The> Basic Writings of Bertrand Russell
پدیدآورنده : / Bertrand Russell
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع :
رده :
B1649
.
R91
,
E38
2010
439. The Cambridge history of seventeenth-century philosophy
پدیدآورنده : edited by Daniel Garber, Michael Ayers, with the assistance of Roger Ariew and Alan Gabbey
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع : ، Philosophy, Modern - 71th century
رده :
B801
.
C35
1998
440. The IT support handbook :
پدیدآورنده : Mike Halsey.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer technical support, Handbooks, manuals, etc.,Computer technical support.
رده :
QA76
.
9
.
T43
H35
2019eb
